Artifact for article "Reflections on Termination of Linear Loops"

This is the artifact for the CAV 2021 paper, “Reflections on Termination of Linear Loops”. The artifact provided is an OVA virtual machine that can be opened via VirtualBox. The operating system is Ubuntu 18.04 LTS. It contains an installation of the tool as described in the paper, and the benchmark suites we have used to evaluate the tool. It also contains installations of benchexec and ComPACT, Ultimate Automizer, 2LS, CPAchecker for easy reproduction of results in the Evaluation section of the paper